1. Developing safety systems: A guide using Ada
پدیدآورنده : Ian C. Pyle
کتابخانه: كتابخانه دانشكده ادبیات و علوم انسانی دانشگاه كاشان (اصفهان)
موضوع : Ada )computer program language(,Computer software- Reliability,System safety,Computer software- Development
رده :
005
.
133
P996D
2. Developing safety systems a guide using Ada
پدیدآورنده : Pyle, Ian C., 4391-
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Ada )Computer program language(,، Computer software -- Reliability,، System safety,، Computer software -- Development
رده :
QA
76
.
73
.
A35
P95
3. High integrity software: the Spark approach to safety and security
پدیدآورنده : Barnes, J. G. P. )John Gilbert Presslie(
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Computer software-- Reliability,، Computer software-- Development,، Ada )Computer program language(
رده :
QA
76
.
76
.
R44
.
B37
2003
